Su Gao's Documents

Su Gao's Documents

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Read more
Developments in Language Theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Developments in Language Theory: 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems

Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Read more
Hybrid Electric Vehicles: Principles and Applications with Practical Perspectives

Hybrid Electric Vehicles: Principles and Applications with Practical Perspectives
Read more
Advances in Natural Computation, 2 conf., ICNC 2006

Advances in Natural Computation, 2 conf., ICNC 2006
Read more
Testing and quality assurance for component-based software

Testing and quality assurance for component-based software
Read more
Pro JavaFXв„ў Platform: Script, Desktop and Mobile RIA with Javaв„ў Technology

Pro JavaFXв„ў Platform: Script, Desktop and Mobile RIA with Javaв„ў Technology
Read more
Machine proofs in geometry : automated production of readable proofs for geometry theorems

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Read more
拓扑空间论(Theory of Topological Spaces)

拓扑空间论(Theory of Topological Spaces)
Read more
Testing and Quality Assurance for Component-Based Software (Artech House Computer Library.)

Testing and Quality Assurance for Component-Based Software (Artech House Computer Library.)
Read more
Proceedings of the 2nd Conference on Compact Transformation Groups

Proceedings of the 2nd Conference on Compact Transformation Groups
Read more
Sigma Receptors: Chemistry, Cell Biology and Clinical Implications

Sigma Receptors: Chemistry, Cell Biology and Clinical Implications
Read more
Natural Language Processing IJCNLP 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers

Natural Language Processing IJCNLP 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers
Read more
Natural Language Processing IJCNLP 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers (Lecture ... Lecture Notes in Artificial Intelligence)

Natural Language Processing IJCNLP 2004: First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers (Lecture ... Lecture Notes in Artificial Intelligence)
Read more
Proceedings of the 2nd Conference on Compact Transformation Groups

Proceedings of the 2nd Conference on Compact Transformation Groups
Read more
Chemometrics From Basics to Wavelet Transform

Chemometrics From Basics to Wavelet Transform
Read more
Web Information Systems - WISE 2004, 5 conf

Web Information Systems - WISE 2004, 5 conf
Read more
OS

OS
Read more
Chiral Dynamics 2006: Proceedings of the 5th International Workshop on Chiral Dynamics, Theory and Experiment Durham Chapel Hill, North Carolina, USA 18-22 September 2006

Chiral Dynamics 2006: Proceedings of the 5th International Workshop on Chiral Dynamics, Theory and Experiment Durham Chapel Hill, North Carolina, USA 18-22 September 2006
Read more
Chemometrics: From Basics to Wavelet Transform

Chemometrics: From Basics to Wavelet Transform
Read more
Chemometrics: from basics to wavelet transform

Chemometrics: from basics to wavelet transform
Read more
Design Methods and Applications for Distributed Embedded Systems (IFIP International Federation for Information Processing)

Design Methods and Applications for Distributed Embedded Systems (IFIP International Federation for Information Processing)
Read more
Embedded and Ubiquitous Computing: International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings

Embedded and Ubiquitous Computing: International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings
Read more
Three major struggles on China's philosophical front, 1949-64

Three major struggles on China's philosophical front, 1949-64
Read more
Earth Science Satellite Remote Sensing

Earth Science Satellite Remote Sensing
Read more
Modelling Molecular Structure and Reactivity in Biological Systems (Special Publications)

Modelling Molecular Structure and Reactivity in Biological Systems (Special Publications)
Read more
Chemometrics: From Basics to Wavelet Transform

Chemometrics: From Basics to Wavelet Transform
Read more
Perry's Chemical Engineers' Handbook. Section 20

Perry's Chemical Engineers' Handbook. Section 20
Read more
China's Energy Outlook 2004

China's Energy Outlook 2004
Read more
Radioactivity and Pollution in the Nordic Seas and Arctic: Observations, Modeling and Simulations

Radioactivity and Pollution in the Nordic Seas and Arctic: Observations, Modeling and Simulations
Read more